    printf("a2[1]=%d\n",a2[1]);
